Digite uma palavra ou frase em qualquer idioma 👆
Idioma:
Tradução e análise de palavras por inteligência artificial ChatGPT
Nesta página você pode obter uma análise detalhada de uma palavra ou frase, produzida usando a melhor tecnologia de inteligência artificial até o momento:
- como a palavra é usada
- frequência de uso
- é usado com mais frequência na fala oral ou escrita
- opções de tradução de palavras
- exemplos de uso (várias frases com tradução)
- etimologia
O que (quem) é automatic code - definição
TASK TO CONSTRUCT A PROGRAM THAT PROVABLY SATISFIES A GIVEN HIGH-LEVEL FORMAL SPECIFICATION
Automatic program synthesis; Code Synthesis
Automated code review
CODE REVIEWING SOFTWARE
Code analyzer; List of automated code review tools
Automated code review software checks source code for compliance with a predefined set of rules or best practices. The use of analytical methods to inspect and review source code to detect bugs or security issues has been a standard development practice in both Open Source and commercial software domains.
Automatic block signaling
![position light signals]] each governing one direction of travel on [[Norfolk Southern Railway]]'s [[Enola Branch]] (former [[Pennsylvania Railroad]])](https://commons.wikimedia.org/wiki/Special:FilePath/Enola Branch L433 1 (2004-April 6).JPG?width=200 "position light signals]] each governing one direction of travel on [[Norfolk Southern Railway]]'s [[Enola Branch]] (former [[Pennsylvania Railroad]])")
RAILROAD COMMUNICATIONS SYSTEM
Automatic block signalling; Automatic block signal; Automatic Block Signal; Automatic Block System; Automatic Block Signaling
Automatic block signaling (ABS), spelled automatic block signalling or called track circuit block (TCB ) in the UK, is a railroad communications system that consists of a series of signals that divide a railway line into a series of sections, called blocks. The system controls the movement of trains between the blocks using automatic signals.
Automatic sequence
AN INFINITE SEQUENCE OF TERMS CHARACTERIZED BY A FINITE AUTOMATON
Automatic set; Automatic real number; Period-doubling sequence; Cobham–Semenov theorem; K-automatic sequence; Cobham-Semenov theorem; Automatic sequences
In mathematics and theoretical computer science, an automatic sequence (also called a k-automatic sequence or a k-recognizable sequence when one wants to indicate that the base of the numerals used is k) is an infinite sequence of terms characterized by a finite automaton. The n-th term of an automatic sequence a(n) is a mapping of the final state reached in a finite automaton accepting the digits of the number n in some fixed base k.
Wikipédia
Program synthesis
In computer science, program synthesis is the task to construct a program that provably satisfies a given high-level formal specification. In contrast to program verification, the program is to be constructed rather than given; however, both fields make use of formal proof techniques, and both comprise approaches of different degrees of automatization. In contrast to automatic programming techniques, specifications in program synthesis are usually non-algorithmic statements in an appropriate logical calculus.
